Star catalogues and astronomical naming conventions